Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

 Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 3.97 Mb